Event-based Diagnosis for Evolutive Systems Marie-odile Cordier and Sylvie Thiébaux
نویسندگان
چکیده
منابع مشابه
What Happened ? " vs \ What is Ab ? " { A Theoretical Framework
This paper presents a new view of model-based diagnosis for evolu-tive systems. The possible behaviors of the evolutive system are captured by a set of events that can aaect its current state. Diagnosing amounts to determining the history of the system, in terms of a sequence of events representing what may have happened to the system between two or more successive observations. This approach i...
متن کاملEvent-Based Diagnosis for Evolutive Systems
This paper presents a new view of model-based diagnosis for evolutive systems. The possible behaviors of the evolutive system are captured by a set of events that can aaect its current state. Diagnosing amounts to determining the history of the system, in terms of a sequence of events representing what may have happened to the system between two or more successive observations. This approach is...
متن کاملSupply Restoration in Power Distribution Systems: a Reference Problem in Diagnosis and Recon guration
This paper proposes to use the problem of supply restoration in power distribution systems as a reference in the area of model-based diagnosis and recon-guration. This real-world problem is at once simple to understand, easily scalable, and complex to solve. As a representative of a wide range of economically important contexts, it is an ideal testbed for systems claiming to address the necessi...
متن کاملSupply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning
Integrating diagnosis and repair is particularly crucial when gaining sufficient information to discriminate between several candidate diagnoses requires carrying out some repair actions. A typical case is supply restoration in a faulty power distribution system. This problem, which is a major concern for electricity distributors, features partial observability, and stochastic repair actions wh...
متن کاملComparing diagnosability in Continuous and Discrete-Event Systems
This paper is concerned with diagnosability analysis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagnosis (MBD) community has developed specific approaches for Continuous Systems (CS) and for Discrete Event Systems (DES) in two distinct and parallel tracks. In this paper, the correspondences between the concepts used in CS and DES approaches are ...
متن کامل